Nuprl Definition : sender
0,22
postcript
pdf
sender(
e
) == ecase1(
e
;
info
;
i
.
;
l
,
e'
.
e'
)
latex
clarification:
sender(
info
;
e
) == ecase1(
e
;
info
;
i
.
;
l
,
e'
.
e'
)
latex
Definitions
,
ecase1(
e
;
info
;
i
.
f
(
i
);
l
,
e'
.
g
(
l
;
e'
))
FDL editor aliases
sender
origin